<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
          "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">

<head>
  <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>
  <link href="common/css/sf.css" rel="stylesheet" type="text/css"/>
  <link href="common/css/lf.css" rel="stylesheet" type="text/css"/>
  <title>逻辑基础</title>
</head>
<link href="common/jquery-ui/jquery-ui.css" rel="stylesheet">
<script src="common/jquery-ui/external/jquery/jquery.js"></script>
<script src="common/jquery-ui/jquery-ui.js"></script>
<script src="common/toggleproofs.js"></script>
<link href="common/css/lf.css" rel="stylesheet" type="text/css"/>

<body>
  <div id="page">
    <div class="doc" id="index">

      <div id="header">
<a href='https://coq-zh.github.io/SF-zh/index.html'>
<img src='common/media/image/sf_logo_sm.png'></a>
</br><a href='toc.html'>  <span class='booktitleinheader'>Volume 1</span><br></br>
<div class='booktitle'>逻辑基础</div>
</a>      </div>

      <div id="main_home">
        <div id="index_content">
          <div class="column">
            <div class="mediumauthors">
              Benjamin C. Pierce<br/>
              Arthur Azevedo de Amorim<br/>
              Chris Casinghino<br/>
              Marco Gaboardi<br/>
              Michael Greenberg<br/>
              C&#259;t&#259;lin Hri&#355;cu<br/>
              Vilhelm Sj&ouml;berg<br/>
              Brent Yorgey<br/>
              <br/>
              <a href="https://github.com/Coq-zh">Coq-zh 项目组</a> 译
            </div>
          </div>
          <div class="column">
            <div class="smallauthors">
              <i>with</i><br />
              Loris D'Antoni,
              Andrew W. Appel,
              Arthur Chargu&eacute;raud,
              Anthony Cowley,
              Jeffrey Foster,
              Dmitri Garbuzov,
              Olek Gierczak,
              Michael Hicks,
              Ranjit Jhala,
              Greg Morrisett,
              Jennifer Paykin,
              Mukund Raghothaman,
              Chung-chieh Shan,
              Leonid Spesivtsev,
              Andrew Tolmach,
              Philip Wadler,
              Stephanie Weirich,
              Li-Yao Xia,
              and
              Steve Zdancewic
              <br/>
              <br/>
              译者：<br/>
              <a href="https://github.com/MarisaKirisame">Marisa Kirisame</a>,
              <a href="https://github.com/bctnry">Sebastian Lin</a>,
              <a href="https://github.com/OlingCat">Oling Cat</a>,
              <a href="https://github.com/0x00-pl">PL</a>,
              <a href="https://github.com/manbaum">Hsi Fun</a>,
              <a href="https://github.com/zeling">Zeling</a>,
              <a href="https://github.com/hengruo">Hengruo Zhang</a>,
              <a href="https://github.com/dramforever">dram!</a>,
              <a href="https://github.com/Kraks">Guannan Wei</a>,
              <a href="https://github.com/xnning">Ningning Xie</a>,
              <a href="https://github.com/Hexadecimaaal">Hexadecimal</a>
              <a href="https://github.com/exprosic">exprosic</a>, etc.
            </div>
          </div>

          <div id="button_block">
            <div class="button"><a href="toc.html">阅读</a></div><br />
            <div class="button"><a href="lf.tgz">下载</a></div>
          </div>
          <p>版本 5.7 (28 Oct 2019, Coq 8.8.1)</p>

        </div>
      </div>
    </div>
  </div>

</body>
</html>
